541. Software process technology : Third European Workshop EWSPT'94, Villard de Lans, France, February 7-9, 1994 : proceedings
پدیدآورنده : Brian C. Warboys, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
772
542. Software process technology : 5th European Workshop EWSPT'96, Nancy, France, October 9-11, 1996 : proceedings
پدیدآورنده : Carlo Montangero )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
1149
543. Software product-family engineering : 4th International Workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001 : revised papers
پدیدآورنده : Frank van der Linden )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2290
544. Software product-family engineering : 5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers
پدیدآورنده : Frank van der Linden )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3014
545. Software product lines : 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005 : proceedings
پدیدآورنده : Henk Obbink, Klaus Pohl )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3714
546. #Software reuse and reverse engineering in practice
پدیدآورنده : #edited by P.A.V. Hall
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Computer software- Reusability- Congresses ،Software engineering- Congresses
رده :
#
TA
،#.
S6
547. Software science and engineering : Selected Papers from the Kyoto Symposia
پدیدآورنده : edited by Ikuo Nakata, Masami Hagiya
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer software Congresses, Software engineering Congresses
رده :
QA
76
.
754
.
S6472
1991
548. Software systems in Engineering 1995 : Presented at the Energy and Environmental Expo 95-The Energy-Sources Technology Conference and Exhibition Houston, Texas, January 29-February 1, 1995
پدیدآورنده : Sponsored by the Petroleum Division, ASME; edited by Daniel Cooke...]et. al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Software engineering - Congresses , Systems engineering - Congresses
رده :
QA
76
.
758
.
E53
1995
549. Software systems in engineering : presented at the Energy-Sources Technology Conference, New Orleans, Louisiana, January 23-26, 1994
پدیدآورنده : sponsored by the Petroleum Division, ASME ; edited by Murat M. Tanik, Wilhelm Rossak, Daniel E. Cooke
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Software engineering - Congresses , Systems engineering - Congresses
رده :
QA
76
.
758
.
S6563
1994
550. Software systems safety /
پدیدآورنده : edited by Orna Grumberg, Helmut Seidl and Maximilian Irlbeck.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security, Congresses.,Software engineering, Congresses.,Systems software-- Safety measures, Congresses.
551. Software technologies :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
552. Software technologies :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
553. Software technologies :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
554. Software technologies for embedded and ubiquitous systems
پدیدآورنده : Sunggu Lee, Priya Narasimhan (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Embedded computer systems, Congresses,Software engineering, Congresses,Ubiquitous computing, Congresses
رده :
TK7895
.
E42
S48
2009eb
555. Special issue of the International Multiconference of Engineers and Computer Scientists 2012
پدیدآورنده : Gi-Chul Yang [and others], editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer engineering -- Congresses.,Engineering -- Congresses.,Software engineering -- Congresses.
رده :
TA5
.
G534
2013
556. Static Analysis
پدیدآورنده : \ Sandrine Blazy , Thomas Jensen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer programming -- Congresses.,Software engineering -- Congresses.,Computer programming.,برنامهنویسی -- کنگرهها,نرمافزار -- مهندسی-- کنگرهها ,برنامهنویسی
رده :
QA
76
.
6
.
S7
2015
E-Book
,
557. Static analysis
پدیدآورنده : Francesco Logozzo, Manuel Fähndrich (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming, Congresses,Software engineering, Congresses
رده :
QA76
.
6
.
I58
2013
558. Systems Implementation 2000 : IFIP TC2 WG2.4 Working Conference on Systems Implementation 2000 : Languages, Methods and Tools 23-26 February 1998, Berlin, Germany
پدیدآورنده : edited by R. N. Horspool
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Software engineering - Congresses , Computer software - Development - Congresses
رده :
QA
76
.
758
.
I35
1998
559. Systems, Software and Services process Improvement.
پدیدآورنده : \ Rory V. O’Connor...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering.,Computer software -- Development -- Congresses.,Computer software -- Quality control -- Congresses,مهندسی نرم افزار ,نرمافزار -- تولید -- کنگره ها ,نرم افزار -- کنترل کیفیت -- کنگره ها
رده :
QA
76
.
76
.
S968
2015
E-Book
,
560. TAPSOFT'93 : Theory and practice of software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993: proceedings
پدیدآورنده : M.C. Gaudel, J.P. Jouannaud )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
668